Model Checking, Theorem Proving, Specification Languages, Correctness, Proof Assistants, Correctness Guarantees, Logic Systems, Specification, Proof Assistants, Coq, Lean, Program Correctness, Agda, TLA+, Model Checking, Safety Properties, Specifications
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·1d
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·16h
What is Algebraic about Algebraic Effects?
interjectedfuture.com·13h
Greyscale-box test-driven development
blog.ploeh.dk·10h
Planarizing matchings
11011110.github.io·1d
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·7h
LLM in the Middle: A Systematic Review of Threats and Mitigations to Real-World LLM-based Systems
arxiv.org·1h
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·2h
Lessons from using AI in Discovery
thoughtbot.com·1d
Loading...Loading more...